On local non-compactness in recursive mathematics
نویسندگان
چکیده
منابع مشابه
On local non-compactness in recursive mathematics
A metric space is said to be locally non-compact if every neighborhood contains a sequence that is bounded away from every element of the space, hence contains no accumulation point. We show within recursive mathematics that a nonvoid complete metric space is locally non-compact iff it is without isolated points. The result has an interesting consequence in computable analysis: If a complete me...
متن کاملA footnote on local compactness
A standard example of an impredicative definition is that of the way-below relation [11], and thus of local compactness in (point-free) topology [6]. Local compactness can be dealt with predicatively as in [8], [5]; the particularly convenient re-formulation to be presented is based on a recent result by Peter Aczel [2], and on the observation that, in set-presented topologies, the way-below re...
متن کاملOn Non-local Variational Problems with Lack of Compactness Related to Non-linear Optics
We give a simple proof of existence of solutions of the dispersion management and diffraction management equations for zero average dispersion, respectively diffraction. These solutions are found as maximizers of non-linear and non-local variational problems which are invariant under a large non-compact group. Our proof of existence of maximizer is rather direct and avoids the use of Lions’ con...
متن کاملRecursive Algorithms for Image Local Statistics in Non-rectangular Windows
A general framework is presented for recursive computation of image local statistics in sliding window of almost arbitrary shape with “per-pixel” computational complexity substantially lower than the window size. As special cases, recursive algorithms are described for computing image local statistics such as local mean, local variance, local kurtosis, local order statistics (minimum, maximum, ...
متن کاملMathematics on Non - Mathematics — A Combinatorial Contribution
A classical system of mathematics is homogenous without contradictions. But it is a little ambiguous for modern mathematics, for instance, the Smarandache geometry. Let F be a family of things such as those of particles or organizations. Then, how to hold its global behaviors or true face? Generally, F is not a mathematical system in usual unless a set, i.e., a system with contradictions. There...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2006
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200510036